Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
691	Machine Translation with Inferred Stochastic Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-31 07:03:40 Finite state transducer Finite-state machine Speech recognition Computer science Computing Applied mathematics Automata theory Models of computation Formal languages
692	APPROXIMATE MATCHING OF REGULAR EXPRESSIONS EUGENE W. MYERS† Department of Computer Science University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 10:39:03 Models of computation Mathematics Symbol Nondeterministic finite automaton Formal languages Cycle rank Ε-quadratic form Graph theory Theoretical computer science Automata theory
693	Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs – Research Shannon Laboratory 180 Park Avenue, Florham Park, NJ 07932, USA Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:41:32 Finite state transducer Applied mathematics Mathematics Semiring Finite-state machine Computing Büchi automaton Automata theory Models of computation Formal languages
694	Programming Languages T.A. Standish Editor Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 10:29:32 Dynamic programming Models of computation Automata theory Operations research Optimal control Finite-state machine Levenshtein distance Viterbi algorithm Mathematics Theoretical computer science Applied mathematics
695	Labeled directed graphs and FSA as classifiers of strings Andrei Kelarev, Byeong Kang, Arthur Sale, Ray Williams School of Computing University of Tasmania Private Bag 100, Hobart Tasmania 7001, Australia Add to Reading List Source URL: eprints.utas.edu.au Language: English - Date: 2014-11-17 22:13:12 Formal languages Automata theory Theoretical computer science Graph Finite state transducer Tree automaton Mathematics Graph theory Combinatorics
696	On Aggregating Teams of Learning Machines Sanjay Jain Department of Information Systems and Computer Science National University of Singapore Singapore 0511, Republic of Singapore Email: [removed] Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-03-10 23:00:58 Logic Computer science Theory of computation Automata theory Models of computation Computable function Computability Formal grammar Model theory Formal languages Theoretical computer science Computability theory
697	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
698	Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 15:52:48 Mathematical logic Büchi automaton First-order logic Finite-state machine FO Function Nested word Muller automaton Automata theory Theoretical computer science Mathematics
699	Electronic Notes in Theoretical Computer Science[removed]URL: http://www.elsevier.nl/locate/entcs/volume61.html 13 pages A Category-Theoretic Approach to Social Network Analysis Anthony H. Dekker 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2001-10-17 01:11:47 Model checking Abstract simplicial complex Büchi automaton Mathematics Automata theory Function
700	The Boost Statechart Library - Tutorial Page 1 of 32 The Boost Statechart Library Add to Reading List Source URL: www.boost.org Language: English - Date: 2007-11-25 13:38:02 Models of computation Computer programming C programming language UML diagrams Automata theory Struct C++ classes Typedef State diagram Software engineering C++ Computing

UPDATE